Simple duration detectors for encoding event time
نویسندگان
چکیده
منابع مشابه
A Simple, Linear-Time Algorithm for x86 Jump Encoding
The problem of space-optimal jump encoding in the x86 instruction set, also known as branch displacement optimization, is described, and a linear-time algorithm is given that uses no complicated data structures, no recursion, and no randomization. The only assumption is that there are no array declarations whose size depends on the negative of the size of a section of code (Hyde 2006), which is...
متن کاملTowards A Simple Event Calculus for Run-Time Reasoning
The Event Calculus for Run-Time reasoning (RTEC) is a logic programming implementation of the Event Calculus, designed to compute continuous narrative assimilation queries on data streams. RTEC has been used for complex event recognition in various applications domains, such as maritime monitoring, city transport management and human activity recognition. The construction of the complex event d...
متن کاملSimple Event Correlator for real-time security log monitoring
When it comes to the security of the IT system, event logs play a crucial role. Today, many applications, operating systems, network devices and other system components are capable of writing security related event messages to log files. The BSD syslog protocol is an event logging standard supported by majority of OS and network equipment vendors, which allows one to set up a central log server...
متن کاملSequential Max-Margin Event Detectors
Many applications in computer vision (e.g., games, human computer interaction) require a reliable and early detector of visual events. Existing event detection methods rely on one-versus-all or multi-class classifiers that do not scale well to online detection of large number of events. This paper proposes Sequential Max-Margin Event Detectors (SMMED) to efficiently detect an event in the prese...
متن کاملA Duration Pattern for Event-B Method
Event-B is a formal method used to do Model Driven Engineering certified by theorem proving. We propose a pattern to handle duration over a predicate in this method which originally does not have particular tool to specify and reason about real-time properties.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Vision
سال: 2014
ISSN: 1534-7362
DOI: 10.1167/14.10.1144